FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science)
by Keijiro Araki, Stefania Gnesi, Dion Mandrioli
ISBN 13: 9783540408284
Format: Paperback (964 pages) Publisher: Springer Published: 27 Aug 2003
Save for later